Codish, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Influence of Asthma in Pregnancy on Labor and the Newborn

Minerbi-Codish, Iris, Fraser, Drora, Avnun, Lone, Glezerman, Marek, Heimer, Dov

Journal:

Year:

1998

Language:

english

File:

PDF, 199 KB

english, 1998

2

[IEEE 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC) - London, United Kingdom (2014.12.8-2014.12.11)] 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing - Adaptive Approach for Gamification Optimization

Codish, David, Ravid, Gilad

Year:

2014

File:

PDF, 176 KB

2014

3

Type dependencies for logic programs using ACI-unification

Michael Codish, Vitaly Lagoon

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 197 KB

english, 2000

4

Efficient goal directed bottom-up evaluation of logic programs

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 1.04 MB

english, 1999

5

Mud compress therapy for the hands of patients with rheumatoid arthritis

Shlomi Codish, Mahmoud Abu-Shakra, Daniel Flusser, Michael Friger, Shaul Sukenik

Journal:

Rheumatology International

Year:

2005

Language:

english

File:

PDF, 182 KB

english, 2005

6

Analyzing logic programs using “prop”-ositional logic programs and a magic wand

Michael Codish, Bart Demoen

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 1.46 MB

english, 1995

7

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Modelling Prolog control

Barbuti, Roberto, Codish, Michael, Giacobazzi, Roberto, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 890 KB

english, 1992

8

Sorting nine inputs requires twenty-five comparisons

Codish, Michael, Cruz-Filipe, Luís, Frank, Michael, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 661 KB

english, 2016

9

Characteristics and outcomes of critically-ill medical patients admitted to a tertiary medical center with restricted ICU bed capacity

Sagy, Iftach, Fuchs, Lior, Mizrakli, Yuval, Codish, Shlomi, Politi, Liran, Fink, Lior, Novack, Victor

Journal:

Journal of Critical Care

Year:

2018

Language:

english

File:

PDF, 567 KB

english, 2018

10

Constraints for symmetry breaking in graph representation

Codish, Michael, Miller, Alice, Prosser, Patrick, Stuckey, Peter J.

Journal:

Year:

2018

Language:

english

File:

PDF, 2.90 MB

english, 2018

11

User behavior pattern detection in unstructured processes – a learning management system case study

Codish, David, Rabin, Eyal, Ravid, Gilad

Journal:

Interactive Learning Environments

Year:

2019

Language:

english

File:

PDF, 3.46 MB

english, 2019

12

Substitution and complementarity in the use of health information exchange and electronic medical records

Politi, Liran, Codish, Shlomi, Sagy, Iftach, Fink, Lior

Journal:

European Journal of Information Systems

Year:

2020

File:

PDF, 795 KB

2020

13

Manifestations of three HHV-8-related diseases in an HIV-negative patient: Immunoblastic variant multicentric Castleman's disease, primary effusion lymphoma, and Kaposi's sarcoma

Shlomi Codish, Mahmoud Abu-Shakra, Samuel Ariad, Howard J. Zirkin, Tikva Yermiyahu, Nicolas Dupin, Chris Boshoff, Shaul Sukenik

Journal:

American Journal of Hematology

Year:

2000

Language:

english

File:

PDF, 303 KB

english, 2000

14

BCG immunotherapy: Effects of dose and route of administration on survival of mice bearing established tumors

Dr. Stephen D. Codish, Anthony P. Monaco

Journal:

Journal of Surgical Oncology

Year:

1978

Language:

english

File:

PDF, 573 KB

english, 1978

15

Proving implications by algebraic approximation

Michael Codish, Grigory Mashevitzky

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.24 MB

english, 1996

16

On the design of a correct freeness analysis for logic programs

Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 1.47 MB

english, 1996

17

A simple polynomial groundness analysis for logic programs

Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 169 KB

english, 2000

18

A confluent semantic basis for the analysis of concurrent constraint logic programs

Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.77 MB

english, 1997

19

Exploiting goal independence in the analysis of logic programs

Michael Codish, Maurice Bruynooghe, Maria García De La Banda, Manuel Hermenegildo

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 880 KB

english, 1997

20

An algebraic approach to sharing analysis of logic programs

Michael Codish, Vitaly Lagoon, Francisco Bueno

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 2.68 MB

english, 2000

21

A semantic basis for the termination analysis of logic programs

Michael Codish, Cohavit Taboch

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 287 KB

english, 1999

22

Worst-case groundness analysis using positive Boolean functions

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 61 KB

english, 1999

23

Improving program analyses, by structure untupling

Michael Codish, Kim Marriott, Cohavit Taboch

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

24

Semantics-based program analysis for logic-based languages using XSB

Michael Codish, Bart Demoen, Konstantinos Sagonas

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 373 KB

english, 1998

25

Propagation via lazy clause generation

Olga Ohrimenko, Peter J. Stuckey, Michael Codish

Journal:

Year:

2009

Language:

english

File:

PDF, 630 KB

english, 2009

26

Bottom-up abstract interpretation of logic programs

Michael Codish, Dennis Dams, Eyal Yardeni

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.09 MB

english, 1994

27

Pressing for parallelism: a PROLOG program made Concurrent

Leon Sterling, Mike Codish

Journal:

The Journal of Logic Programming

Year:

1986

Language:

english

File:

PDF, 1.30 MB

english, 1986

28

Reversible appearance of a specific chromosome which suppresses malignancy

CODISH, S. D., PAUL, BETTY

Journal:

Year:

1974

File:

PDF, 517 KB

1974

29

Oracle Semantics for Prolog

R. Barbuti, M. Codish, R. Giacobazzi, M.J. Maher

Journal:

Information and Computation

Year:

1995

File:

PDF, 1.74 MB

1995

30

Specialisation of Prolog and FCP programs using abstract interpretation

John Gallagher, Michael Codish, Ehud Shapiro

Journal:

New Generation Computing

Year:

1988

Language:

english

File:

PDF, 1.31 MB

english, 1988

31

Compiling OR-parallelism into AND-parallelism

Michael Codish, Ehud Shapiro

Journal:

New Generation Computing

Year:

1987

Language:

english

File:

PDF, 848 KB

english, 1987

32

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 673 KB

english, 2012

33

LONG-TERM SURVIVAL OF OCTOGENARIANS FOLLOWING INTENSIVE CARE ADMISSION WITH SEPSIS: A MULTICENTER STUDY

Jacob Dreiher, Sharon Einav, Shlomi Codish, Pierre Singer, Daniel Talmor, Yaniv Almog, Michael Friger, Victor Novack

Journal:

European Journal of Internal Medicine

Year:

2011

Language:

english

File:

PDF, 73 KB

english, 2011

34

Actinomycin D injected into the hippocampus of chicks: Effects upon imprinting

Stephen D. Codish

Journal:

Physiology & Behavior

Year:

1971

Language:

english

File:

PDF, 183 KB

english, 1971

35

Ethnicity and sepsis characteristics and outcomes. Population based study

Galia Karp, Yael Perl, Lior Fuchs, Yaniv Almog, Moti Klein, Alina Vodonos, Jacob Dreiher, Daniel Talmor, Shlomi Codish, Victor Novack

Journal:

European Journal of Internal Medicine

Year:

2013

Language:

english

File:

PDF, 326 KB

english, 2013

36

The role of cardiac troponin I as a prognosticator in critically ill medical patients: a prospective observational cohort study

Daniel A King,Shlomi Codish,Victor Novack,Leonid Barski,Yaniv Almog

Journal:

Critical Care (BioMed Central)

Year:

2004

Language:

english

File:

PDF, 174 KB

english, 2004

37

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Fully abstract denotational semantics for flat Concurrent Prolog

Gerth, R., Codish, M., Lichtenstein, Y., Shapiro, E.

Year:

1988

File:

PDF, 703 KB

1988

38

Use patterns of health information exchange through a multidimensional lens: Conceptual framework and empirical validation

Politi, Liran, Codish, Shlomi, Sagy, Iftach, Fink, Lior

Journal:

Journal of Biomedical Informatics

Year:

2014

Language:

english

File:

PDF, 647 KB

english, 2014

39

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

Codish, Michael, Cruz-Filipe, Luis, Schneider-Kamp, Peter

Year:

2014

Language:

english

File:

PDF, 241 KB

english, 2014

40

Mycotic Wound Infections

Codish, Stephen D.

Journal:

Archives of Surgery

Year:

1979

Language:

english

File:

PDF, 3.83 MB

english, 1979

41

Combined Amphotericin B-Flucytosine Therapy in Aspergillus Pneumonia

Codish, Stephen D.

Journal:

JAMA The Journal of the American Medical Association

Year:

1979

Language:

english

File:

PDF, 1.18 MB

english, 1979

42

Dobutamine stress echocardiography in women with systemic lupus erythematosus: increased occurrence of left ventricular outflow gradient

Codish, S, Liel-Cohen, N, Rovner, M, Sukenik, S, Abu-Shakra, M

Journal:

Year:

2004

Language:

english

File:

PDF, 117 KB

english, 2004

43

Managing Systemic Mycoses in the Compromised Host

Codish, Stephen D.

Journal:

JAMA The Journal of the American Medical Association

Year:

1976

Language:

english

File:

PDF, 489 KB

english, 1976

44

[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Improving abstract interpretations by combining domains

Codish, M., Mulkers, A., Bruynooghe, M., de la Banda, M. García, Hermenegildo, M.

Year:

1993

Language:

english

File:

PDF, 1.06 MB

english, 1993

45

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - A declarative encoding of telecommunications feature subscription in SAT

Codish, Michael, Genaim, Samir, Stuckey, Peter J.

Year:

2009

Language:

english

File:

PDF, 538 KB

english, 2009

46

Suspension analyses for concurrent logic programs

Codish, Michael, Falaschi, Moreno, Marriott, Kim

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 2.16 MB

english, 1994

47

Improving abstract interpretations by combining domains

Codish, Michael, Mulkers, Anne, Bruynooghe, Maurice, de la Banda, Maria García, Hermenegildo, Manuel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

48

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Compositional analysis of modular logic programs

Codish, Michael, Debray, Saumya K., Giacobazzi, Roberto

Year:

1993

Language:

english

File:

PDF, 1.28 MB

english, 1993

49

Termination analysis of logic programs through combination of type-based norms

M. Bruynooghe, M. Codish, J. P. Gallagher, S. Genaim, W. Vanhoof

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

50

Sharing and groundness dependencies in logic programs

Codish, Michael, Søndergaard, Harald, Stuckey, Peter J.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 334 KB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски